例句與造句

1. As such, CAL is a strongly typed, lazily evaluated functional language, supporting algebraic functions and data types with parametric polymorphism and type inferencing.
2. It's difficult to find type inferencing in a sentence. 用type inferencing造句挺難的